101. Answer set programming /
Author: by Vladimir Lifschitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
Classification :
QA76
.
63
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
102. Answer set programming for continuous domains
Author: Jeroen Janssen ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy logic,Logic programming
Classification :
QA76
.
63
.
A57
2012eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
103. Answer set programming for continuous domains
Author: Jeroen Janssen ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy logic,Logic programming
Classification :
QA76
.
63
.
A57
2012eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
104. Answer set solving in practice /
Author: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
Classification :
QA76
.
615
.
A58
2013eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
105. App inventor for Android
Author: / Jason Tyler
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Android (Electronic resource), Amateurs' manuals,Application software, Development, Amateurs' manuals,Smartphones, Programming, Amateurs' manuals,Open source software, Amateurs' manuals,Mobile computing, Amateurs' manuals
Classification :
QA76
.
76
.
A65
,
T95
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
106. Application and theory of Petri nets :
Author: edited by Claude Girault and Woflgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: fiabilité,Petri nets -- Congresses.,protocole accès.
![](/design/images/bookmore.png)
107. Application and theory of Petri nets :
Author: edited by Claude Girault and Woflgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: fiabilité,Petri nets -- Congresses.,protocole accès.
Classification :
QA267
.
E358
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
108. Application of artificial intelligence in process control :
Author: L Boullart
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: artificial intelligence,process control
Classification :
TS156
.
8
L368
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
109. Applications and Science in Soft Computing
Author: edited by Ahamad Lotfi, Jonathan M. Garibaldi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Decision making.,Operations research.
![](/design/images/bookmore.png)
110. Applications of Emerging Memory Technology :
Author: editor, Manan Suri.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer storage devices.,Computer storage devices.
Classification :
TK7895
.
M4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
111. Applications of declarative programming and knowledge management :
Author: Salvador Abreu, Dietmar Seipel (Eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming, Congresses,Knowledge management, Congresses
Classification :
QA76
.
615
.
I58
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
112. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
Author: Dietmar Seipel... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3392
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
113. Applied Mathematics
Author: by Francis J. Murray.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).
![](/design/images/bookmore.png)
114. Approche logique de lintelligence artificielle
Author: Par Andre Thayse... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence , Logic programming
Classification :
Q
335
.
A675
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
115. Architectural design of multi-agent systems :
Author: Hong Lin [editor].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software),Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software)
Classification :
QA76
.
76
.
I58
A72
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
116. Architectural design of multi-agent systems
Author: / Hong Lin [editor]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Intelligent agents (Computer software),Electronic data processing- Distributed processing,Computer architecture
Classification :
QA76
.
76
.
I58
,
A72
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
117. Architectural design of multi-agent systems :technologies and techniques
Author: Hong Lin ]editor[
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Intelligent agents )Computer software(,Distributed processing ، Electronic data processing,، Computer architecture
Classification :
QA
76
.
76
.
I58
A72
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
118. Arithmetic and logic in computer systems. ]CD[
Author: Lu, Mi.,Mi Lu
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer arithmetic,، Logic programming
Classification :
QA76
.
9
.
C62
L8
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
119. Arithmetic and logic in computer systems
Author: / Mi Lu
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer arithmetic.,Logic programming.
Classification :
QA
,
76
.
9
,.
C62
,
L8
,
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
120. Arithmetic and logic in computer systems
Author: Lu, Mi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer arithmetic,، Logic programming
Classification :
QA
76
.
9
.
C62L8
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)